x86: replace some intpte_t * casts
authorkfraser@localhost.localdomain <kfraser@localhost.localdomain>
Tue, 15 May 2007 09:08:20 +0000 (10:08 +0100)
committerkfraser@localhost.localdomain <kfraser@localhost.localdomain>
Tue, 15 May 2007 09:08:20 +0000 (10:08 +0100)
commit3490d2804a1be9c40f5d4c12c113a3ee8f078b65
tree243f8525c0deb8abe33c1fb65fb5603e100a35e0
parentf95c4d2e4a8e3b3bc83d7661b3eaffca6e03b182
x86: replace some intpte_t * casts

Don't cast values when other (type safe) mechanisms are available to =
achieve the same effect.

Signed-off-by: Jan Beulich <jbeulich@novell.com>
xen/arch/x86/mm.c